منابع مشابه
Targeting the Java Virtual Machine with Genericity, Multiple Inheritance, Assertions and Expanded Types
متن کامل
Cosets and genericity
In a connected group of finite Morley rank in which the generic element belongs to a connected nilpotent subgroup, proper normalizing cosets of definable subgroups are not generous. We explain why this is true and what consequences this has on an abstract theory of Weyl groups in groups of finite Morley rank. The only known infinite simple groups of finite Morley rank are the simple algebraic g...
متن کاملOuter models and genericity
1. Introduction Why is forcing the only known method for constructing outer models of set theory? If V is a standard transitive model of ZFC, then a standard transitive model W of ZFC is an outer model of V if V ⊆ W and V ∩ OR = W ∩ OR. Is every outer model of a given model a generic extension? At one point Solovay conjectured that if 0 # exists, then every real that does not construct 0 # lies...
متن کاملInvisible Genericity and 0#
0 # can be invisibly class generic. 1. Introduction Roughly, the main theorem of this paper is that some instances of any type of non-constructible object are class generic over L, in one sense. Since small large cardinal properties are inherited in L, let us begin by considering the sense in which 0 # can be generic. It is well known that 0 # is not set generic over L, or, indeed, over any inn...
متن کاملGenericity and Large Cardinals
A natural question to ask is whether this result has an analogue in the context of large cardinals. The purpose of this article is to provide the strongest such analogue not ruled out by limitations imposed by the existence of Woodin cardinals. To describe the latter limitations we consider the forcing P , described as follows. Let δ be inaccessible and consider the language L(δ): (a) n ∈ R bel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1990
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v19i318.6708